SADL: Simulation Architecture Description Language
نویسندگان
چکیده
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration’s Marshall Space Flight Center to support the real-time simulation of advanced avionics systems. SADL is a graphical, domain-specific Architecture Description Language (ADL) that facilitates the high-level specification of both the software and hardware aspects of hard real-time avionics system simulations targeted for execution on diverse hardware architectures, including multiprocessor systems. It supports the hierarchical expression of the architecture of an entire simulation at various levels of abstraction. A detailed description of SADL is provided along with a case study that illustrates its ability to represent real-world simulations.
منابع مشابه
A Simulation Architecture Description Language for Hardware-in-loop Simulation of Safety Critical Systems
The architecture is a key aspect of the design of any system including simulation systems. An architecture description should provide a formal specification of the architecture in terms of components and connectors and how they are composed together. Further, a simulation architecture description for safety critical system must provide a specification of how the architecture can satisfy safety ...
متن کامل,qwhjudwlqj Wkh &rqfhuq%$6 ( $ssurdfk Zlwk 6$'/
%675$&7 We describe ConcernBASE, a UML-based approach that is an instantiation of the IEEE’s Conceptual Framework (Std 1471) for describing software architectures. We show how the approach supports advanced separation of concerns in software architecture by allowing one to identify and define multiple viewpoints, concern spaces and views of an architecture. Our work focuses on integrating the C...
متن کاملA Formal Semantic Framework for Sadl Language
The primary purpose of an ADL (Architecture Description Language) is to specify the structural composition of a software system in terms of system's components and connectors through the means of a formal representational language. Many ADLs have emerged recently, none of them addresses formal analysis and verification of distributed architecture with a tractable model and an efficient mechanis...
متن کاملVers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL
Résumé. La notion d’architecture logicielle est apparue aux alentours des années 1990 et est maintenant présentée comme le cœur d’une discipline à part entière. De nombreux langages de description d’architecture (ADLs) ont été proposés dans la littérature. Ils offrent des capacités complémentaires pour le développement et l’analyse architecturale d’un système logiciel. Comme l’objectif principa...
متن کاملSandbridge Software Tools
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architecture Description Language (SaDL), which is implemented as python objects. Specific processor implementations of the simulation environment are generated by programmatically calling the python objects. Using just-in-time ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- I. J. Comput. Appl.
دوره 9 شماره
صفحات -
تاریخ انتشار 2002